<?php
	echo "Hello world";
	/* /* PHP does not support nested comments */
	echo "Hello world";
?>
